Les commissions parlementaires à Québec

Les maladies des animaux dues à des Clostridium welchii

Les aspergillomes pulmonaires: à propos de 37 cas à Madagascar

Abstract L’aspergillome pulmonaire est une colonisation par Aspergillus d’une cavité pulmonaire préformée. Nos objectifs étaient de définir le profil épidémio-clinique et thérapeutique des aspergillomes pulmonaires et essayer de dégager les facteurs favorisants de cette affection à Madagascar. Nous avons réalisés une étude prospective, descriptive, analytique durant 59 mois sur les aspergillome...

Habilitation à Diriger les Recherches mention Informatique

Exceptions dans les langages à objets

Exceptions in programming languages result from the limitations introduced by arealisation compared to the model it implements. Usual control structures are not adequate tohandle these special cases and specific exception handling mechanisms have beendesigned which separate the handling of exceptions from the main algorithm.We study the characteristics such a mechanism must ...

Mémoire d ' Habilitation à Diriger les Recherches

Security is a very old concern, which until quite recently was mostly of interest for military purposes. The deployment of electronic commerce changes this drastically. The security of exchanges is ensured by cryptographic protocols which are notoriously error prone. The formal veri cation of cryptographic protocols is a di cult problem that can be seen as a particular model-checking problem in...